Engineering / Formal Semantics / Control system / Mathematical Sciences / Automatica / Real Time Systems / Petri Net / Control System Design / Data Flow Diagram / Temporal Analysis / real time power system operation and control / Time Domain Analysis / Performance Measure / Real Time Systems / Petri Net / Control System Design / Data Flow Diagram / Temporal Analysis / real time power system operation and control / Time Domain Analysis / Performance Measure